منابع مشابه
Programming from metaphorisms
This paper presents a study of the metaphorism pattern of relational specification, showing how it can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphorisms. The kind of metaphorism ...
متن کاملMetaphorisms in Programming
This paper introduces the metaphorism pattern of relational specification and addresses how specification following this pattern can be refined into recursive programs. Metaphorisms express input-output relationships which preserve relevant information while at the same time some intended optimization takes place. Text processing, sorting, representation changers, etc., are examples of metaphor...
متن کاملProgramming from Galois Connections
Problem statements often resort to superlatives such as in eg. “. . . the smallest such number”, “. . . the best approximation”, “. . . the longest such list” which lead to specifications made of two parts: one defining a broad class of solutions (the easy part) and the other requesting the optimal such solution (the hard part). This paper introduces a binary relational combinator which mirrors...
متن کاملFrom Pair Programming to Mob Programming to Mob Architecting
Software Development and Quality Assurance From Agile Development to DevOps: Going Towards Faster Releases at High Quality – Experiences from an Industrial Context . . . . . . . . . . . . . . . . 33 Frank Elberzhager, Taslim Arif, Matthias Naab, Inge Süß, and Sener Koban Learning to Rank Extract Method Refactoring Suggestions for Long Methods. . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملFrom Database Programming to Business Process Programming (Invited Talk)
Over the past decade, database programming has focused on languages and methodologies for developing dataintensive applications, and on techniques for efficiently implementing them. Research in this area has yielded languages with rich type systems, orthogonal persistence, support for collection types, and other advanced features. The commercial impact of this research, however, has been rather...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logical and Algebraic Methods in Programming
سال: 2018
ISSN: 2352-2208
DOI: 10.1016/j.jlamp.2017.09.003